BAE Systems: contrat de 6 M$ avec la DARPA
information fournie par Zonebourse 04/12/2024 à 16:52
Ce programme vise à simplifier l'utilisation des méthodes formelles, outils de vérification logicielle, pour les rendre accessibles aux développeurs non spécialisés.
Ces outils permettront d'améliorer la fiabilité des systèmes logiciels critiques du Département de la Défense (DoD) tout en réduisant les défauts et vulnérabilités, assure BAE Systems.
1 776,750 GBX | LSE | +0,89% |
A lire aussi
-
Des milliers de personnes manifestent à Londres, au Royaume-Uni, en soutien aux Palestiniens alors que l'armée israélienne a appelé les habitants de la ville de Gaza à l'évacuer vers une zone déclarée "humanitaire" plus au sud, en prévision d'un assaut au sol sur ... Lire la suite
-
Au total 88 opérateurs ont suspendu entièremement ou partiellement leurs services postaux avec les Etats-Unis, conduisant à une chute de plus de 80% du trafic vers ce pays à la suite de l'imposition de nouveaux droits de douane par Washington, a annoncé samedi ... Lire la suite
-
Des centaines de corps retrouvés, sans doute beaucoup plus sous la boue, et des survivants ayant "tout perdu". Au Soudan, le responsable d'une équipe d'humanitaires allée dans un village reculé, a raconté à l'AFP les conséquences du glissement de terrain dévastateur. ... Lire la suite
-
L'armée israélienne a détruit samedi une nouvelle tour d'habitation dans la ville de Gaza, dont elle a appelé la population à partir vers une zone qu'elle a déclarée "humanitaire", en prévision d'un assaut au sol à près de 23 mois de guerre. Le colonel Avichay ... Lire la suite
Mes listes
Une erreur est survenue pendant le chargement de la liste
0 commentaire
Vous devez être membre pour ajouter un commentaire.
Vous êtes déjà membre ? Connectez-vous
Pas encore membre ? Devenez membre gratuitement
Signaler le commentaire
Fermer